A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems
نویسندگان
چکیده
Formal modelling of multi-agent systems (MAS) present many interesting challenges. In this extended abstract we present a framework of how formal modelling can lead towards identi cation and veri cation of emergent properties of spatial biology-inspired MAS. We discuss the problem in question as well as initial work done on the formal modelling side and the visual animation of these formal models.
منابع مشابه
Disciplined Exploration of Emergence Using Multi-Agent Simulation Framework
In recent years the concept of emergence has gained much attention as ICT systems have started exhibiting properties usually associated with complex systems. Although emergence creates many problems for engineering complex ICT systems by introducing undesired behaviour, it also offers many possibilities for advance in the area of adaptive self-organizing systems. However, at the moment the inab...
متن کاملTowards a New Approach for Controlling the Reorganization Process of Multi-Agent Systems
Reorganization in Multi-Agent Systems plays a crucial role in the dynamic adaptation of the structure and the behaviour of organizations. In order to ensure consistency of the resulting organization, the reorganization process has to be controlled. This paper proposes a novel approach for controlling the reorganization process of Multi-Agent Systems, which are specified and implemented using th...
متن کاملDeveloping a BIM-based Spatial Ontology for Semantic Querying of 3D Property Information
With the growing dominance of complex and multi-level urban structures, current cadastral systems, which are often developed based on 2D representations, are not capable of providing unambiguous spatial information about urban properties. Therefore, the concept of 3D cadastre is proposed to support 3D digital representation of land and properties and facilitate the communication of legal owners...
متن کاملImage enhancement - An emergent pattern formation approach via decentralised multi-agent systems
A multi-agent framework inspired by natural and physical systems is presented for data discovery and image enhancement. The input image is represented as a topographic landscape upon which a large population of independent simple, reactive, mobile agents resides. The local landscape configuration presents stimuli to each agent, influencing agent behaviour and resulting in changes in agent orien...
متن کاملA Formal Framework for User-centric Control of Multi-Agent Cyber-physical Systems
Cyber physical systems are examples of a new emerging modelling paradigm that can be defined as multi-dimensional system coengineering (MScE). In MScE, different aspects of complex systems are considered altogether, producing emergent properties, or loosing some useful ones. This holistic approach requires interdisciplinary methods that result from formal mathematical and AI co-engineering. In ...
متن کامل